منابع مشابه
Set Mapping Reflection
Could it be that the above questions have resisted solution because we haven’t tapped into the full strength of “proper?” Let us focus on the second question for a moment. Consider the following analogy. Recall that a forcing Q satisfies the countable chain condition (c.c.c.) if every uncountable collection of conditions in Q contains two compatible conditions. Similarly, a forcing Q satisfies ...
متن کاملEmbedded Reflection Mapping
Environment maps are used to simulate reflections off curved objects. We present a technique to reflect a user, or a group of users, in a real environment, onto a virtual object, in a virtual reality application, using the live video feeds from a set of cameras, in real-time. Our setup can be used in a variety of environments ranging from outdoor or indoor scenes. The need for such a technique ...
متن کاملChemical mapping using reflection terahertz pulsed imaging
In this paper, we present the latest chemical mapping images of heterogeneous mixtures based on far-infrared reflection spectra obtained using a terahertz pulsed imaging system. The terahertz images and spectral data obtained have a spectral resolution of 1 cm–1 and cover a spectral range of 5–80 cm–1. This broad spectral coverage enables us to map out the spatial distribution of individual che...
متن کاملOn strong forms of reflection in set theory
In this paper we review the most common forms of reflection and introduce a new form which we call sharpgenerated reflection. We argue that sharp-generated reflection is the strongest form of reflection which can be regarded as a natural generalization of the Lévy reflection theorem. As an application we formulate the principle sharp-maximality with the corresponding hypothesis IMH#. IMH# is an...
متن کاملIncremental student modelling and reflection by verified concept-mapping
Concept mapping is a technique for externalising a conceptualisation in terms of a visual two dimensional layout which shows the propositions believed by the learner as well as other similarity and hierarchy relationships. In this paper, we describe VCM, the verified concept mapper. It is a novel form of concept mapping designed to elicit a learner’s understanding, as a basis for building a lea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Logic
سال: 2005
ISSN: 0219-0613,1793-6691
DOI: 10.1142/s0219061305000407